Wyniki
-
A basic formal equational predicate logic - Part I
George Tourlakis
Bulletin of the Section of Logic , 29 /1-2 (2000) s. 43-56 -
A basic formal equational predicate logic : part II
George Tourlakis
Bulletin of the Section of Logic , 29 /3 (2000) s. 75-87 -
A New Foundation of a Complete Boolean Equational Logic
George Tourlakis
Bulletin of the Section of Logic , 38 /1-2 (2009) s. 13-29 -
A Modal Extension of First Order Classical Logic, Part I
George Tourlakis, Francisco Kibedi
Bulletin of the Section of Logic , 32 /4 (2003) s. 165-177 -
A Modal Extension of First Order Classical Logic, Part II
George Tourlakis, Francisco Kibedi
Bulletin of the Section of Logic , 33 /1 (2004) s. 1-10 -
Pure Iteration and Substitution as the Basis of Computability
Yehuda Schwartz, George Tourlakis
Bulletin of the Section of Logic , 40 /3-4 (2011) s. 203-213 -
A Proof Theoretic Tool for First-Order Modal Logic
Yehuda Schwartz, George Tourlakis
Bulletin of the Section of Logic , 42 /3-4 (2013) s. 93-110 -
A Short and Readable Proof of Cut Elimination for Two First-Order Modal Logics
Feng Gao, George Tourlakis
Bulletin of the Section of Logic , 44 /3-4 (2015) s. 131-148 -
On the proof-theory of a first-order extension of GL
Yehuda Schwartz, George Tourlakis
Logic and Logical Philosophy , 23 /3 (2014) s. 329-363 -
An Arithmetically Complete Predicate Modal Logic
Yunge Hao, George Tourlakis
Bulletin of the Section of Logic , 50 /4 (2021) s. 513-541 -
The development of wireless telecommunication system in Hungary
G. Farkas, G. Kukely
Space - Society - Economy , 6 /6 (2002) s. 52-65 -
Wykopaliska monet na Podolu
M. G.
Wiadomości Numizmatyczno-Archeologiczne , 9 /1-2 (1897) s. 268 -
Sprostowania
G. O.
Wiadomości Numizmatyczno-Archeologiczne , 2 /1 (1890) s. 30